<?php

/*
	This file is part of Mandragon.

    Mandragon is free software: you can redistribute it and/or modify
    it under the terms of the GNU General Public License as published by
    the Free Software Foundation, either version 3 of the License, or
    (at your option) any later version.

    Mandragon is distributed in the hope that it will be useful,
    but WITHOUT ANY WARRANTY; without even the implied warranty of
    MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
    GNU General Public License for more details.

    You should have received a copy of the GNU General Public License
    along with Mandragon.  If not, see <http://www.gnu.org/licenses/>.
*/

require_once 'PHPUnit/Framework.php';
require_once 'autoload.php';

class TestErrorNavigation extends PHPUnit_Framework_TestCase {

	function test_errorpage() {
		$error_nav = new ErrorNavigation();
		$error = new Error();

		$errorCode = 404; 

		$toolbox = $this->getMock('Toolbox');
		$toolbox->expects($this->at(0))
				->method('endpage')
				->with(null, $error->ERROR[$errorCode], "ERROR: $errorCode");
		$toolbox->expects($this->at(1))
				->method('redirect')
				->with("$errorCode.error");

		$error_nav->set_toolbox($toolbox);
		$error_nav->errorpage($errorCode);
	}
}

?>

